{ .x = REAL(FN32(0x1.b38fb8p-127), FN64(0x1.b38fb9daa78e4p-127), FN80(0x1.b38fb9daa78e44acp-127), FN128(0x1.b38fb9daa78e44ab2dcf7a6b1921p-127)), .y = REAL(FN32(0x1.e522b4p-43), FN64(0x1.e522b447ca634p-43), FN80(0x1.e522b447ca633df2p-43), FN128(0x1.e522b447ca633df1c4922165aa61p-43)) },
{ .x = REAL(FN32(0x1.1dd652p-122), FN64(0x1.1dd651f77df56p-122), FN80(0x1.1dd651f77df55d1p-122), FN128(0x1.1dd651f77df55d1056102856487dp-122)), .y = REAL(FN32(0x1.4e9cf2p-41), FN64(0x1.4e9cf1694de93p-41), FN80(0x1.4e9cf1694de92844p-41), FN128(0x1.4e9cf1694de9284489c9bae119dp-41)) },
{ .x = REAL(FN32(0x1.77294cp-118), FN64(0x1.77294b94d5521p-118), FN80(0x1.77294b94d5520a26p-118), FN128(0x1.77294b94d5520a2570f534f13f25p-118)), .y = REAL(FN32(0x1.cd9606p-40), FN64(0x1.cd9605f8a38aep-40), FN80(0x1.cd9605f8a38ad94cp-40), FN128(0x1.cd9605f8a38ad94be847804848e7p-40)) },
{ .x = REAL(FN32(0x1.ec6634p-114), FN64(0x1.ec66333357fbbp-114), FN80(0x1.ec66333357fbad52p-114), FN128(0x1.ec66333357fbad512441d57ca2ep-114)), .y = REAL(FN32(0x1.3e5ec6p-38), FN64(0x1.3e5ec64f1cd12p-38), FN80(0x1.3e5ec64f1cd120a6p-38), FN128(0x1.3e5ec64f1cd120a6a8ffe5eab7dp-38)) },
{ .x = REAL(FN32(0x1.432312p-109), FN64(0x1.43231199b1bd3p-109), FN80(0x1.43231199b1bd29bep-109), FN128(0x1.43231199b1bd29bd3fcb3419cae3p-109)), .y = REAL(FN32(0x1.b72dfep-37), FN64(0x1.b72dfcda3642p-37), FN80(0x1.b72dfcda364204dap-37), FN128(0x1.b72dfcda364204d9f4d8c54771e2p-37)) },
{ .x = REAL(FN32(0x1.a81e08p-105), FN64(0x1.a81e0719b9484p-105), FN80(0x1.a81e0719b94846c8p-105), FN128(0x1.a81e0719b94846c863bab461da4ap-105)), .y = REAL(FN32(0x1.2eea74p-35), FN64(0x1.2eea73eb2b532p-35), FN80(0x1.2eea73eb2b531e9ap-35), FN128(0x1.2eea73eb2b531e99d06eec2f6fd8p-35)) },
{ .x = REAL(FN32(0x1.1653b4p-100), FN64(0x1.1653b4a8e1977p-100), FN80(0x1.1653b4a8e1976e74p-100), FN128(0x1.1653b4a8e1976e73817286603741p-100)), .y = REAL(FN32(0x1.a1dc64p-34), FN64(0x1.a1dc6447d5d28p-34), FN80(0x1.a1dc6447d5d27adap-34), FN128(0x1.a1dc6447d5d27adabdcfddc41141p-34)) },
{ .x = REAL(FN32(0x1.6d4ddep-96), FN64(0x1.6d4ddd1da816cp-96), FN80(0x1.6d4ddd1da816c0f8p-96), FN128(0x1.6d4ddd1da816c0f799e6505e4885p-96)), .y = REAL(FN32(0x1.20362ep-32), FN64(0x1.20362def339b5p-32), FN80(0x1.20362def339b533p-32), FN128(0x1.20362def339b532f08ae4176e2bcp-32)) },
{ .x = REAL(FN32(0x1.df7632p-92), FN64(0x1.df763236ec9dep-92), FN80(0x1.df763236ec9ddd44p-92), FN128(0x1.df763236ec9ddd44f9fe497bbf2ep-92)), .y = REAL(FN32(0x1.8d93b8p-31), FN64(0x1.8d93b824a8dd2p-31), FN80(0x1.8d93b824a8dd182ap-31), FN128(0x1.8d93b824a8dd1829e19195fe42cbp-31)) },
{ .x = REAL(FN32(0x1.3aa59p-87), FN64(0x1.3aa590f40b47ap-87), FN80(0x1.3aa590f40b479936p-87), FN128(0x1.3aa590f40b479935440ee0393576p-87)), .y = REAL(FN32(0x1.1238a2p-29), FN64(0x1.1238a1cf24522p-29), FN80(0x1.1238a1cf245220ap-29), FN128(0x1.1238a1cf2452209f8c906988ab52p-29)) },
{ .x = REAL(FN32(0x1.9cf94ep-83), FN64(0x1.9cf94e404ecep-83), FN80(0x1.9cf94e404ecdf916p-83), FN128(0x1.9cf94e404ecdf915e953864b162bp-83)), .y = REAL(FN32(0x1.7a471cp-28), FN64(0x1.7a471c49f3bbep-28), FN80(0x1.7a471c49f3bbdd2ep-28), FN128(0x1.7a471c49f3bbdd2dbb64b5ec0997p-28)) },
{ .x = REAL(FN32(0x1.0f039cp-78), FN64(0x1.0f039b5a33b73p-78), FN80(0x1.0f039b5a33b72b76p-78), FN128(0x1.0f039b5a33b72b76611ed021468cp-78)), .y = REAL(FN32(0x1.04e8f2p-26), FN64(0x1.04e8f0d80ed12p-26), FN80(0x1.04e8f0d80ed117dcp-26), FN128(0x1.04e8f0d80ed117db7c078a6edbd5p-26)) },
{ .x = REAL(FN32(0x1.63b4bcp-74), FN64(0x1.63b4bbe663e07p-74), FN80(0x1.63b4bbe663e0690cp-74), FN128(0x1.63b4bbe663e0690b5f78712bac98p-74)), .y = REAL(FN32(0x1.67ea54p-25), FN64(0x1.67ea545fdfabdp-25), FN80(0x1.67ea545fdfabcad2p-25), FN128(0x1.67ea545fdfabcad1687d8a8360dcp-25)) },
{ .x = REAL(FN32(0x1.d2dd36p-70), FN64(0x1.d2dd369e63169p-70), FN80(0x1.d2dd369e631689dep-70), FN128(0x1.d2dd369e631689deed4e14895288p-70)), .y = REAL(FN32(0x1.f07d54p-24), FN64(0x1.f07d55210fe69p-24), FN80(0x1.f07d55210fe6924cp-24), FN128(0x1.f07d55210fe6924c05f42ec5cc96p-24)) },
{ .x = REAL(FN32(0x1.32612cp-65), FN64(0x1.32612bd7f106dp-65), FN80(0x1.32612bd7f106ca7ap-65), FN128(0x1.32612bd7f106ca7a4bbb3d7a1e29p-65)), .y = REAL(FN32(0x1.5671bcp-22), FN64(0x1.5671bc1b93727p-22), FN80(0x1.5671bc1b93726f5p-22), FN128(0x1.5671bc1b93726f5012c9e5b18088p-22)) },
{ .x = REAL(FN32(0x1.921f8ap-61), FN64(0x1.921f898b6c58fp-61), FN80(0x1.921f898b6c58e9cp-61), FN128(0x1.921f898b6c58e9c08365c0b04796p-61)), .y = REAL(FN32(0x1.d8638ep-21), FN64(0x1.d8638ebdd5918p-21), FN80(0x1.d8638ebdd5917a32p-21), FN128(0x1.d8638ebdd5917a32d924c5cc6f21p-21)) },
{ .x = REAL(FN32(0x1.07e4b2p-56), FN64(0x1.07e4b2437f1a6p-56), FN80(0x1.07e4b2437f1a5966p-56), FN128(0x1.07e4b2437f1a5966563ac673aefap-56)), .y = REAL(FN32(0x1.45d24p-19), FN64(0x1.45d23fddb26f5p-19), FN80(0x1.45d23fddb26f5002p-19), FN128(0x1.45d23fddb26f5001e3e83eb1ce42p-19)) },
{ .x = REAL(FN32(0x1.5a5c2ap-52), FN64(0x1.5a5c29f896d29p-52), FN80(0x1.5a5c29f896d29556p-52), FN128(0x1.5a5c29f896d29556512d2477d5a9p-52)), .y = REAL(FN32(0x1.c17546p-18), FN64(0x1.c17546e431863p-18), FN80(0x1.c17546e431863218p-18), FN128(0x1.c17546e43186321918a8fd78f8b2p-18)) },
{ .x = REAL(FN32(0x1.c698f8p-48), FN64(0x1.c698f71645f46p-48), FN80(0x1.c698f71645f46402p-48), FN128(0x1.c698f71645f464014a8b3fdd486dp-48)), .y = REAL(FN32(0x1.360156p-16), FN64(0x1.360155ac94277p-16), FN80(0x1.360155ac94277832p-16), FN128(0x1.360155ac942778315e8021ce28eep-16)) },
{ .x = REAL(FN32(0x1.2a5462p-43), FN64(0x1.2a5462269de86p-43), FN80(0x1.2a5462269de861ap-43), FN128(0x1.2a5462269de861a0d8eb61e93788p-43)), .y = REAL(FN32(0x1.aba3f4p-15), FN64(0x1.aba3f3d2fa322p-15), FN80(0x1.aba3f3d2fa321902p-15), FN128(0x1.aba3f3d2fa3219027b20d2495eb7p-15)) },
{ .x = REAL(FN32(0x1.878ecp-39), FN64(0x1.878ec0d2af41p-39), FN80(0x1.878ec0d2af410024p-39), FN128(0x1.878ec0d2af4100231cb4f08218e2p-39)), .y = REAL(FN32(0x1.26f4f6p-13), FN64(0x1.26f4f685c0801p-13), FN80(0x1.26f4f685c08010ep-13), FN128(0x1.26f4f685c08010e0782ee6576335p-13)) },
{ .x = REAL(FN32(0x1.00f5aep-34), FN64(0x1.00f5ae8a4302bp-34), FN80(0x1.00f5ae8a4302a818p-34), FN128(0x1.00f5ae8a4302a8170ad6bdd56054p-34)), .y = REAL(FN32(0x1.96e1cp-12), FN64(0x1.96e1c0728273dp-12), FN80(0x1.96e1c0728273cdc2p-12), FN128(0x1.96e1c0728273cdc0cc082c5e95b8p-12)) },
{ .x = REAL(FN32(0x1.514276p-30), FN64(0x1.5142751577f38p-30), FN80(0x1.5142751577f37c9ep-30), FN128(0x1.5142751577f37c9e3e39d9280e6fp-30)), .y = REAL(FN32(0x1.18a398p-10), FN64(0x1.18a398027430ep-10), FN80(0x1.18a398027430e06ap-10), FN128(0x1.18a398027430e069a0cd8a002628p-10)) },
{ .x = REAL(FN32(0x1.baa73ap-26), FN64(0x1.baa739ac2d6f9p-26), FN80(0x1.baa739ac2d6f939p-26), FN128(0x1.baa739ac2d6f938fb1abed0492f1p-26)), .y = REAL(FN32(0x1.832184p-9), FN64(0x1.8321838f8ca81p-9), FN80(0x1.8321838f8ca81626p-9), FN128(0x1.8321838f8ca816269dbd8e52b235p-9)) },
{ .x = REAL(FN32(0x1.227dbep-21), FN64(0x1.227dbdd8fdd14p-21), FN80(0x1.227dbdd8fdd138d6p-21), FN128(0x1.227dbdd8fdd138d64c98d38b006ep-21)), .y = REAL(FN32(0x1.0b0426p-7), FN64(0x1.0b04264b259cp-7), FN80(0x1.0b04264b259bff06p-7), FN128(0x1.0b04264b259bff0685e55d1e1241p-7)) },
{ .x = REAL(FN32(0x1.7d450ap-17), FN64(0x1.7d45092ccd22ap-17), FN80(0x1.7d45092ccd229a9ap-17), FN128(0x1.7d45092ccd229a99448895a67091p-17)), .y = REAL(FN32(0x1.7056b8p-6), FN64(0x1.7056b78338803p-6), FN80(0x1.7056b7833880268ap-6), FN128(0x1.7056b7833880268aa30dc5203215p-6)) },
{ .x = REAL(FN32(0x1.f46a9cp-13), FN64(0x1.f46a9c0acd3d7p-13), FN80(0x1.f46a9c0acd3d6aeap-13), FN128(0x1.f46a9c0acd3d6ae929f3446a73bep-13)), .y = REAL(FN32(0x1.fc1bfcp-5), FN64(0x1.fc1bfcac689cap-5), FN80(0x1.fc1bfcac689c9d12p-5), FN128(0x1.fc1bfcac689c9d12af08cacc89e6p-5)) },
{ .x = REAL(FN32(0x1.4865f6p-8), FN64(0x1.4865f66716b05p-8), FN80(0x1.4865f66716b04e2ap-8), FN128(0x1.4865f66716b04e290387a4e5dbf5p-8)), .y = REAL(FN32(0x1.5e7572p-3), FN64(0x1.5e757242a15ccp-3), FN80(0x1.5e757242a15cbeb8p-3), FN128(0x1.5e757242a15cbeb88fbd0a3777f5p-3)) },
{ .x = REAL(FN32(0x1.af05d4p-4), FN64(0x1.af05d3674dc76p-4), FN80(0x1.af05d3674dc76696p-4), FN128(0x1.af05d3674dc76695d4a2086db0b1p-4)), .y = REAL(FN32(0x1.e371d2p-2), FN64(0x1.e371d0dc3a283p-2), FN80(0x1.e371d0dc3a283296p-2), FN128(0x1.e371d0dc3a283295f60212ba41bbp-2)) },
{ .x = REAL(FN32(0x1.1adbd2p1), FN64(0x1.1adbd2bbcb0aep1), FN80(0x1.1adbd2bbcb0adb52p1), FN128(0x1.1adbd2bbcb0adb52538a5587fbf4p1)), .y = REAL(FN32(0x1.4d725ep0), FN64(0x1.4d725dd124a6dp0), FN80(0x1.4d725dd124a6c714p0), FN128(0x1.4d725dd124a6c71442ddc5163a7fp0)) },
{ .x = REAL(FN32(0x1.734084p5), FN64(0x1.734084967a7e4p5), FN80(0x1.734084967a7e3fdcp5), FN128(0x1.734084967a7e3fdc0da590427ab1p5)), .y = REAL(FN32(0x1.cbfa26p1), FN64(0x1.cbfa25f773c9cp1), FN80(0x1.cbfa25f773c9ba52p1), FN128(0x1.cbfa25f773c9ba523ca81d68cd72p1)) },
{ .x = REAL(FN32(0x1.e744aep9), FN64(0x1.e744ae0580c5bp9), FN80(0x1.e744ae0580c5b3dp9), FN128(0x1.e744ae0580c5b3d0d1e94d574108p9)), .y = REAL(FN32(0x1.3d42b2p3), FN64(0x1.3d42b110862a6p3), FN80(0x1.3d42b110862a6132p3), FN128(0x1.3d42b110862a613269715c4a3b23p3)) },
{ .x = REAL(FN32(0x1.3fc512p14), FN64(0x1.3fc512339c81cp14), FN80(0x1.3fc512339c81be02p14), FN128(0x1.3fc512339c81be0109c11ac142adp14)), .y = REAL(FN32(0x1.b5a61cp4), FN64(0x1.b5a61b22801aep4), FN80(0x1.b5a61b22801ae54cp4), FN128(0x1.b5a61b22801ae54a97c312ad2cc7p4)) },
{ .x = REAL(FN32(0x1.a3b2a8p18), FN64(0x1.a3b2a7e3bd6a5p18), FN80(0x1.a3b2a7e3bd6a4962p18), FN128(0x1.a3b2a7e3bd6a49615ccd731da783p18)), .y = REAL(FN32(0x1.2ddc28p6), FN64(0x1.2ddc28ea63fc6p6), FN80(0x1.2ddc28ea63fc6246p6), FN128(0x1.2ddc28ea63fc6245f7ce534cc6d2p6)) },
{ .x = REAL(FN32(0x1.136d3ep23), FN64(0x1.136d3e2d744dcp23), FN80(0x1.136d3e2d744dc028p23), FN128(0x1.136d3e2d744dc027e4e6d38b75eep23)), .y = REAL(FN32(0x1.a06788p7), FN64(0x1.a0678865b017ap7), FN80(0x1.a0678865b0179f92p7), FN128(0x1.a0678865b0179f922a64c9216d9ep7)) },
{ .x = REAL(FN32(0x1.697f62p27), FN64(0x1.697f619ba8a61p27), FN80(0x1.697f619ba8a60c34p27), FN128(0x1.697f619ba8a60c345c6ef5a70ac9p27)), .y = REAL(FN32(0x1.1f3502p9), FN64(0x1.1f3501cea411ap9), FN80(0x1.1f3501cea411a678p9), FN128(0x1.1f3501cea411a678f3980441a563p9)) },
{ .x = REAL(FN32(0x1.da773p31), FN64(0x1.da77301c4d59fp31), FN80(0x1.da77301c4d59f004p31), FN128(0x1.da77301c4d59f004b951a26b3e27p31)), .y = REAL(FN32(0x1.8c30f6p10), FN64(0x1.8c30f5b3a33b4p10), FN80(0x1.8c30f5b3a33b40fcp10), FN128(0x1.8c30f5b3a33b40fbd53ecd54c4f4p10)) },
{ .x = REAL(FN32(0x1.375e38p36), FN64(0x1.375e379292c3p36), FN80(0x1.375e379292c30584p36), FN128(0x1.375e379292c30583199d929660cap36)), .y = REAL(FN32(0x1.1143f2p12), FN64(0x1.1143f182bb8f8p12), FN80(0x1.1143f182bb8f80b8p12), FN128(0x1.1143f182bb8f80b7ebd223fdeffp12)) },
{ .x = REAL(FN32(0x1.98aba8p40), FN64(0x1.98aba8f0609ffp40), FN80(0x1.98aba8f0609ff73cp40), FN128(0x1.98aba8f0609ff73c119ed0655f09p40)), .y = REAL(FN32(0x1.78f592p13), FN64(0x1.78f5925f37573p13), FN80(0x1.78f5925f37572a7ep13), FN128(0x1.78f5925f37572a7ebfb785962911p13)) },
{ .x = REAL(FN32(0x1.0c30a6p45), FN64(0x1.0c30a6ddbf69p45), FN80(0x1.0c30a6ddbf68fa4p45), FN128(0x1.0c30a6ddbf68fa3f6b9038c2865ep45)), .y = REAL(FN32(0x1.04002p15), FN64(0x1.0400213de31eep15), FN80(0x1.0400213de31ee2a6p15), FN128(0x1.0400213de31ee2a543f136bfa14p15)) },
{ .x = REAL(FN32(0x1.5fffdcp49), FN64(0x1.5fffdb030b39dp49), FN80(0x1.5fffdb030b39c874p49), FN128(0x1.5fffdb030b39c8733d2d4a7f505bp49)), .y = REAL(FN32(0x1.66a92ep16), FN64(0x1.66a92cfb962c6p16), FN80(0x1.66a92cfb962c58f2p16), FN128(0x1.66a92cfb962c58f16583cf3d4aeap16)) },
{ .x = REAL(FN32(0x1.cdffdp53), FN64(0x1.cdffcf73febbdp53), FN80(0x1.cdffcf73febbd718p53), FN128(0x1.cdffcf73febbd717404b71c71978p53)), .y = REAL(FN32(0x1.eec25p17), FN64(0x1.eec2501cf8a26p17), FN80(0x1.eec2501cf8a267c6p17), FN128(0x1.eec2501cf8a267c65ba0df5515e7p17)) },
{ .x = REAL(FN32(0x1.2f2fep58), FN64(0x1.2f2fe0241f2b4p58), FN80(0x1.2f2fe0241f2b4528p58), FN128(0x1.2f2fe0241f2b4527423182aaa8b7p58)), .y = REAL(FN32(0x1.55402cp19), FN64(0x1.55402ba13a188p19), FN80(0x1.55402ba13a18897ap19), FN128(0x1.55402ba13a188978e92c97db83a5p19)) },
{ .x = REAL(FN32(0x1.8deed6p62), FN64(0x1.8deed62f68e8dp62), FN80(0x1.8deed62f68e8cac4p62), FN128(0x1.8deed62f68e8cac386e0fb7ffd7p62)), .y = REAL(FN32(0x1.d6be0ap20), FN64(0x1.d6be0b0a351a3p20), FN80(0x1.d6be0b0a351a34bep20), FN128(0x1.d6be0b0a351a34bcd53d00007254p20)) },
{ .x = REAL(FN32(0x1.0524bcp67), FN64(0x1.0524bc8f1cd8cp67), FN80(0x1.0524bc8f1cd8c51p67), FN128(0x1.0524bc8f1cd8c5105083a50bfe51p67)), .y = REAL(FN32(0x1.44af84p22), FN64(0x1.44af8493032a9p22), FN80(0x1.44af8493032a941ap22), FN128(0x1.44af8493032a941a2c21928fd65fp22)) },
{ .x = REAL(FN32(0x1.56c038p71), FN64(0x1.56c0377bd5dc8p71), FN80(0x1.56c0377bd5dc82a6p71), FN128(0x1.56c0377bd5dc82a569acc89fbdcbp71)), .y = REAL(FN32(0x1.bfe43ap23), FN64(0x1.bfe439439c403p23), FN80(0x1.bfe439439c40346ep23), FN128(0x1.bfe439439c40346eb20a87501cc8p23)) },
{ .x = REAL(FN32(0x1.c1dc48p75), FN64(0x1.c1dc48d288b17p75), FN80(0x1.c1dc48d288b16b7ap75), FN128(0x1.c1dc48d288b16b791ab2c751a91ap75)), .y = REAL(FN32(0x1.34ecb8p25), FN64(0x1.34ecb73eb2d93p25), FN80(0x1.34ecb73eb2d9329cp25), FN128(0x1.34ecb73eb2d9329bebf008004b07p25)) },
{ .x = REAL(FN32(0x1.27389p80), FN64(0x1.27388fca29b47p80), FN80(0x1.27388fca29b46e88p80), FN128(0x1.27388fca29b46e87798552cd96f9p80)), .y = REAL(FN32(0x1.aa265ep26), FN64(0x1.aa265e00f427ep26), FN80(0x1.aa265e00f427e262p26), FN128(0x1.aa265e00f427e26259ec105cc95dp26)) },
{ .x = REAL(FN32(0x1.837a3cp84), FN64(0x1.837a3cb956bcdp84), FN80(0x1.837a3cb956bcd112p84), FN128(0x1.837a3cb956bcd111cf7efcadd627p84)), .y = REAL(FN32(0x1.25edc6p28), FN64(0x1.25edc5945e8a2p28), FN80(0x1.25edc5945e8a2268p28), FN128(0x1.25edc5945e8a2268a4d6e8cc92e3p28)) },
{ .x = REAL(FN32(0x1.fc907p88), FN64(0x1.fc906fb341d7dp88), FN80(0x1.fc906fb341d7d268p88), FN128(0x1.fc906fb341d7d2676056aba42913p88)), .y = REAL(FN32(0x1.9576bp29), FN64(0x1.9576b0824abd1p29), FN80(0x1.9576b0824abd126cp29), FN128(0x1.9576b0824abd126ca5ab0a806279p29)) },
{ .x = REAL(FN32(0x1.4dbecap93), FN64(0x1.4dbec94da335ap93), FN80(0x1.4dbec94da335a214p93), FN128(0x1.4dbec94da335a213d738e0a3baf5p93)), .y = REAL(FN32(0x1.17a92ep31), FN64(0x1.17a92db0a03a3p31), FN80(0x1.17a92db0a03a2c9p31), FN128(0x1.17a92db0a03a2c908b02eabce425p31)) },
{ .x = REAL(FN32(0x1.b60a68p97), FN64(0x1.b60a6835e6366p97), FN80(0x1.b60a6835e63664bap97), FN128(0x1.b60a6835e63664ba0a7aa6d6e561p97)), .y = REAL(FN32(0x1.81c814p32), FN64(0x1.81c81352bc155p32), FN80(0x1.81c81352bc154d2ap32), FN128(0x1.81c81352bc154d29585a118c80cap32)) },
{ .x = REAL(FN32(0x1.1f76d4p102), FN64(0x1.1f76d4635f13bp102), FN80(0x1.1f76d4635f13b21ap102), FN128(0x1.1f76d4635f13b21a16e07d7d0688p102)), .y = REAL(FN32(0x1.0a15e4p34), FN64(0x1.0a15e3d5810c1p34), FN80(0x1.0a15e3d5810c1418p34), FN128(0x1.0a15e3d5810c14174cb83ee440ap34)) },
{ .x = REAL(FN32(0x1.794bf6p106), FN64(0x1.794bf6c26cc9ep106), FN80(0x1.794bf6c26cc9d9c2p106), FN128(0x1.794bf6c26cc9d9c23e06a4b41892p106)), .y = REAL(FN32(0x1.6f0e0cp35), FN64(0x1.6f0e0bf7d24c6p35), FN80(0x1.6f0e0bf7d24c5a7ep35), FN128(0x1.6f0e0bf7d24c5a7db673d417eb71p35)) },
{ .x = REAL(FN32(0x1.ef33b4p110), FN64(0x1.ef33b3df2ec8fp110), FN80(0x1.ef33b3df2ec8edcep110), FN128(0x1.ef33b3df2ec8edcef168b82c604p110)), .y = REAL(FN32(0x1.fa569ap36), FN64(0x1.fa56995c96dbfp36), FN80(0x1.fa56995c96dbf546p36), FN128(0x1.fa56995c96dbf54643f637086909p36)) },
{ .x = REAL(FN32(0x1.44f9eep115), FN64(0x1.44f9ee0a76b3ep115), FN80(0x1.44f9ee0a76b3dc1p115), FN128(0x1.44f9ee0a76b3dc0fce6cb8dd1f2ap115)), .y = REAL(FN32(0x1.5d3cbcp38), FN64(0x1.5d3cbb08395fep38), FN80(0x1.5d3cbb08395fda5ep38), FN128(0x1.5d3cbb08395fda5e94b1d28b94d2p38)) },
{ .x = REAL(FN32(0x1.aa8808p119), FN64(0x1.aa88086dbbcc1p119), FN80(0x1.aa88086dbbcc10d4p119), FN128(0x1.aa88086dbbcc10d4beeeb2a238e7p119)), .y = REAL(FN32(0x1.e1c27p39), FN64(0x1.e1c26fb544043p39), FN80(0x1.e1c26fb5440436c4p39), FN128(0x1.e1c26fb5440436c4ff78065f6504p39)) },
{ .x = REAL(FN32(0x1.17e946p124), FN64(0x1.17e94588033dfp124), FN80(0x1.17e94588033deb0cp124), FN128(0x1.17e94588033deb0b9d4ca53a7557p124)), .y = REAL(FN32(0x1.4c48d4p41), FN64(0x1.4c48d4a4c3006p41), FN80(0x1.4c48d4a4c30058f6p41), FN128(0x1.4c48d4a4c30058f61c99941d84eep41)) },
/*
 * SPDX-License-Identifier: BSD-3-Clause
 *
 * Copyright © 2025 Keith Packard
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 *
 * 2. Redistributions in binary form must reproduce the above
 *    copyright notice, this list of conditions and the following
 *    disclaimer in the documentation and/or other materials provided
 *    with the distribution.
 *
 * 3. Neither the name of the copyright holder nor the names of its
 *    contributors may be used to endorse or promote products derived
 *    from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
 * COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
 * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
 * OF THE POSSIBILITY OF SUCH DAMAGE.
 */
